                NAME    irq_armv8mml.s
                #define __DOMAIN_NS 0
                INCLUDE irq_armv8mml_common.s
                END
